- chronological backtracking
- 1) Компьютерная техника: хронологический механизм возврата2) Программирование: хронологический поиск с возвратом
Универсальный англо-русский словарь. Академик.ру. 2011.
chronological backtracking
Смотреть что такое "chronological backtracking" в других словарях:
DPLL algorithm — The Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking based algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solving the CNF SAT problem. It was introduced in … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Algoritmo DPLL — El algoritmo DPLL/Davis Putnam Logemann Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el… … Wikipedia Español
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Metroid (series) — nihongo| Metroid |メトロイド| Metoroido is a series of science fiction adventure video games conceived by designer Gunpei Yokoi and produced by Nintendo. Metroid combines the platforming of Super Mario Bros. and the exploration aspect of The Legend of … Wikipedia
Bulgaria — /bul gair ee euh, bool /, n. a republic in SE Europe. 8,652,745; 42,800 sq. mi. (110,850 sq. km). Cap.: Sofia. * * * Bulgaria Introduction Bulgaria Background: The Bulgars, a Central Asian Turkic tribe, merged with the local Slavic inhabitants in … Universalium
Metroid: Other M — Metroid: Other M … Wikipedia
